search
Log In

Questions by joshi_nitish

2 votes
1 answer
1
if it is given -> "Every satisfiable propositional formula is not tautology" then what will it corresponds to? i am writing its hindi, which among below two are correct? "har ek satisfiable formula tautology nahi hota hai" // it is indeed truth. "koi bhi satisfiable formula hua, to wo tautology nahii hoga" // this is false.
asked Jan 24, 2018 in Mathematical Logic 128 views
2 votes
0 answers
2
#include <stdio.h> int main(void) { static int a[10]; int x=0; a[x]=++x; printf("%d %d %d",a[0],a[1],a[2]); return 0; } my doubt here is [ ] has high precedence over ++ which in turn has precedence over =, so i think it a[x] = ++x; is evaluated in 3 phase like, phase1: a[x ... a+0)* -> a* phase2: ++x -> x=1 phase3: a*=1 or a[0]=1 so finally answer should be 1 0 0, but it is giving 0 1 0 as output.
asked Dec 3, 2017 in Programming 134 views
5 votes
1 answer
3
#include <stdio.h> #define A -B #define B -C #define C 5 int main(void) { printf("%d",A); return 0; } now my doubt here is, before compilaion i think macro will make printf part as, printf("%d",--5); which should give L-value error at compile time but, ... doing is printf("%d",-(-5)); leading to no compiler error and giving answer as 5, but macro implicitly never put precedence braces() itself...
asked Nov 5, 2017 in Programming 287 views
3 votes
1 answer
4
No. of bits to represent (traffic class, flow label) in IPv6 header ?? in fourozan it is given as (4, 24) whereas in peterson and tennenbaum it is given as (8, 20)
asked Oct 5, 2017 in Computer Networks 329 views
2 votes
0 answers
5
if A is regular, L= HALF(A)= { x | for some y, |x|= |y| and xy ϵ A} is regular i want to ask if i know DFA for A, how to construct DFA for L ??
asked Aug 1, 2017 in Theory of Computation 121 views
0 votes
1 answer
6
BREAK can be used in switch-case but CONTINUE is not allowed in switch-case but CONTINUE is allowed in DEFAULT case of switch-case..is it correct??
asked Jun 29, 2017 in Programming and DS 152 views
0 votes
0 answers
7
asked Jun 20, 2017 in Databases 348 views
...