Test  Status  Code Input and Output 

1  Pass 
x = '0';
y_correct = false;
assert(isequal(tautology(x),y_correct))
xs =
'0'

2  Pass 
x = '1';
y_correct = true;
assert(isequal(tautology(x),y_correct))
xs =
'1'

3  Pass 
x = 'A';
y_correct = false;
assert(isequal(tautology(x),y_correct))
xs =
'0'

4  Pass 
x = '~A';
y_correct = false;
assert(isequal(tautology(x),y_correct))
xs =
'1'

5  Pass 
x = 'A1';
y_correct = true;
assert(isequal(tautology(x),y_correct))
xs =
'1'

6  Pass 
x = '1&A';
y_correct = false;
assert(isequal(tautology(x),y_correct))
xs =
'0'

7  Pass 
x = 'AB';
y_correct = false;
assert(isequal(tautology(x),y_correct))
xs =
'0'

8  Pass 
x = 'A&B';
y_correct = false;
assert(isequal(tautology(x),y_correct))
xs =
'0'

9  Pass 
x = 'AA';
y_correct = false;
assert(isequal(tautology(x),y_correct))
xs =
'0'

10  Pass 
x = 'A~A';
y_correct = true;
assert(isequal(tautology(x),y_correct))
xs =
'01'

11  Pass 
x = '0==0';
y_correct = true;
assert(isequal(tautology(x),y_correct))
xs =
'1'

12  Pass 
x = '~0';
y_correct = true;
assert(isequal(tautology(x),y_correct))
xs =
'1'

13  Pass 
x = '~(A & B) == (~A  ~B)';
y_correct = true;
assert(isequal(tautology(x),y_correct))
xs =
'~0==(11)'

14  Pass 
x = '~(Z & Y) == (~Y  ~Z)';
y_correct = true;
assert(isequal(tautology(x),y_correct))
xs =
'~0==(11)'

15  Pass 
x = 'ABCDEFGHIJKLMNOPQRSTUXVWYZ';
y_correct = false;
assert(isequal(tautology(x),y_correct))
xs =
'0'

16  Pass 
x = 'ABCDEFGHIJKLM~AOPQRSTUXVWYZ';
y_correct = true;
assert(isequal(tautology(x),y_correct))
xs =
'01'

17  Pass 
assert(isequal(tautology('(AB)C'),false));
xs =
'00'

18  Pass 
assert(isequal(tautology('(AB)(C == C)'),true));
xs =
'01'

19  Pass 
assert(isequal(tautology('(A == B)(B == C)(C == A)'),true));
xs =
'111'

20  Pass 
assert(isequal(tautology('~(~(~(~(~(~(0))))))'),false));
xs =
'~(~(~(~(~(~0)))))'

21  Pass 
assert(isequal(tautology('~(~(~(~(~(~(~0))))))'),true));
% provided by Alfonso:
assert(isequal(tautology('((0&1)~B)&~B'),false));
xs =
'~(~(~(~(~(~1)))))'
xs =
'(11)&1'

22  Pass 
assert(isequal(tautology('((0&~B)&~B)'),false));
xs =
'0'

23  Pass 
assert(isequal(tautology('((0A)&~A)'),false));
xs =
'0'

24  Pass 
assert(isequal(tautology('((0A)1)'),true));
xs =
'(01)'

25  Pass 
assert(isequal(tautology('((0~B)1)'),true));
xs =
'((01)1)'

26  Pass 
assert(isequal(tautology('((1&0)B)'),false));
xs =
'(00)'

27  Pass 
assert(isequal(tautology('((1&1)&A)'),false));
xs =
'0'

28  Pass 
assert(isequal(tautology('((10)A)'),true));
xs =
'(10)'

29  Pass 
assert(isequal(tautology('((1A)0)'),true));
xs =
'(10)'

30  Pass 
assert(isequal(tautology('((1~A)&B)'),false));
xs =
'((11)&0)'

31  Pass 
assert(isequal(tautology('((A&1)~A)A'),true));
xs =
'(11)0'

32  Pass 
assert(isequal(tautology('((A&~A)&~B)~A'),false));
xs =
'01'

33  Pass 
assert(isequal(tautology('((A&~B)&1)B'),false));
xs =
'00'

34  Pass 
assert(isequal(tautology('((A0)&1)&~B'),false));
xs =
'0&1'

35  Pass 
assert(isequal(tautology('((AA)&A)~A'),true));
xs =
'01'

36  Pass 
assert(isequal(tautology('((B0)&B)'),false));
xs =
'0'

37  Pass 
assert(isequal(tautology('((B1)&B)&A'),false));
xs =
'0&0'

38  Pass 
assert(isequal(tautology('((BA)~A)'),true));
xs =
'(01)'

39  Pass 
assert(isequal(tautology('((~A&~A)&0)&B'),false));
xs =
'(1&0)&0'

40  Pass 
assert(isequal(tautology('((~A&~A)0)'),false));
xs =
'(10)'

41  Pass 
assert(isequal(tautology('((~A&~A)~A)1'),true));
xs =
'(11)1'

42  Pass 
assert(isequal(tautology('((~AA)~B)&1'),true));
xs =
'(11)&1'

43  Pass 
assert(isequal(tautology('((~AB)A)'),true));
xs =
'(10)'

44  Pass 
assert(isequal(tautology('((~A~A)1)'),true));
xs =
'((11)1)'

45  Pass 
assert(isequal(tautology('((~A~B)&0)'),false));
xs =
'((11)&0)'

46  Pass 
assert(isequal(tautology('((~B&0)&A)'),false));
xs =
'0'

47  Pass 
assert(isequal(tautology('(0&1)1&1'),true));
xs =
'11'

48  Pass 
assert(isequal(tautology('(0~A&B)'),false));
xs =
'(01)'

49  Pass 
assert(isequal(tautology('(1A&0)'),true));
xs =
'1'

50  Pass 
assert(isequal(tautology('(A&A&~B)'),false));
xs =
'0'

51  Pass 
assert(isequal(tautology('(A&~A1)'),true));
xs =
'(0&~1)'

52  Pass 
assert(isequal(tautology('(A1)B'),true));
xs =
'10'

53  Pass 
assert(isequal(tautology('(AA)A1'),true));
xs =
'01'

54  Pass 
assert(isequal(tautology('(B&1)~B'),true));
xs =
'11'

55  Pass 
assert(isequal(tautology('(B&~B)&~B&0'),false));
xs =
'0&1'

56  Pass 
assert(isequal(tautology('(B~B)B'),true));
xs =
'(01)0'

57  Pass 
assert(isequal(tautology('(~A&B&0)'),false));
xs =
'1'

58  Pass 
assert(isequal(tautology('(~A0)~B&~A'),false));
xs =
'11&1'

59  Pass 
assert(isequal(tautology('(~A1)1'),true));
xs =
'(~1)1'

60  Pass 
assert(isequal(tautology('(~AB&B)'),false));
xs =
'1'

61  Pass 
assert(isequal(tautology('(~AB)~B'),true));
xs =
'11'

62  Pass 
assert(isequal(tautology('(~A~A)0'),false));
xs =
'(11)0'

63  Pass 
assert(isequal(tautology('(~B&0)&11'),true));
xs =
'1&1'

64  Pass 
assert(isequal(tautology('1&B~B0'),true));
xs =
'01'

65  Pass 
assert(isequal(tautology('B&1&A&1'),false));
xs =
'1'

66  Pass 
assert(isequal(tautology('~A&0&11'),true));
xs =
'~1'

67  Pass 
assert(isequal(tautology('~B&0&~AB'),false));
xs =
'1&1'

68  Pass 
assert(isequal(tautology('~B11~B'),true));
xs =
'~11'

69  Pass 
assert(isequal(tautology('~B~B&11'),true));
xs =
'1~1'

70  Pass 
assert(isequal(tautology('A==~A'),false));
xs =
'0==1'

244 Solvers
Arrange Vector in descending order
1799 Solvers
Who is the smartest MATLAB programmer?
469 Solvers
1485 Solvers
find the surface area of a cube
215 Solvers