Problem 44374. Tautology

Solution 1308511

Submitted on 22 Oct 2017

This solution is locked. To view this solution, you need to provide a solution of the same size or smaller.

This solution is outdated. To rescore this solution, sign in.

Alfonso Nieto-Castanon on 22 Oct 2017

good catch (this solution would fail on '~A')

Test	Status	Code Input and Output
1	Pass	x = '0'; y_correct = false; assert(isequal(tautology(x),y_correct))
2	Pass	x = '1'; y_correct = true; assert(isequal(tautology(x),y_correct))
3	Pass	x = 'A'; y_correct = false; assert(isequal(tautology(x),y_correct))
4	Fail	x = '~A'; y_correct = false; assert(isequal(tautology(x),y_correct)) Assertion failed.
5	Pass	x = 'A\|1'; y_correct = true; assert(isequal(tautology(x),y_correct))
6	Pass	x = '1&A'; y_correct = false; assert(isequal(tautology(x),y_correct))
7	Pass	x = 'A\|B'; y_correct = false; assert(isequal(tautology(x),y_correct))
8	Pass	x = 'A&B'; y_correct = false; assert(isequal(tautology(x),y_correct))
9	Pass	x = 'A\|A'; y_correct = false; assert(isequal(tautology(x),y_correct))
10	Pass	x = 'A\|~A'; y_correct = true; assert(isequal(tautology(x),y_correct))
11	Pass	x = '0==0'; y_correct = true; assert(isequal(tautology(x),y_correct))
12	Pass	x = '~0'; y_correct = true; assert(isequal(tautology(x),y_correct))
13	Pass	x = '~(A & B) == (~A \| ~B)'; y_correct = true; assert(isequal(tautology(x),y_correct))