fork download
copy 
  1. #include<stdio.h>
  2. int n;
  3. char a[1000009];
  4. char x[1009];
  5. int main(){
  6.     scanf("%d ",&n);
  7.     int i,j,k;
  8.     for(i=0;i<n;i++){
  9.         fgets(a,100009,stdin);
  10.         for(j=0;a[j];j++)
  11.             if(a[j]>='A'&&a[j]<='Z')
  12.                 break;
  13.         x[i]=a[j];
  14.     }
  15.     printf("YES\n");
  16.     for(i=0;i<n;i++){
  17.         printf("(%c|(~%c))",x[i],x[i]);
  18.         if(i<n-1)printf("|");
  19.     }
  20. }
Success #stdin #stdout 0.01s 5284KB
comments (?)
stdin
copy 
3
A := (a=>c ) & (b<=>d)
C:= a | b
B  :=  c  |  d
stdout
copy 
YES
(A|(~A))|(C|(~C))|(B|(~B))
https://ideone.com/2E2TOJ
language:
C++14 (gcc 8.3)
created:
10 hours ago
visibility:
public

Share or Embed source code

Discover > Sphere Engine API

The brand new service which powers Ideone!

Discover > IDE Widget

Widget for compiling and running the source code in a web browser!